มหาวิทยาลัยเกษตรศาสตร์ วิทยาเขตศรีราชา |
|
คำอธิบายรายวิชา |
|
01204213
|
ทฤษฏีการคำนวณ
|
3(3-0-6)
|
|
Theory of Computaiton
|
ออโตมาตาจำกัดเชิงกำหนดและเชิงไม่กำหนด ภาษาและไวยากรณ์แบบปรกติ ออโตมาตาแบบกดลงและไวยากรณ์ไม่พึ่งบริบท เครื่องจักรทัวริงและการคำนวณได้ ลำดับขั้นของชอมสกี การคำนวณไม่ได้และปัญหาที่ตัดสินไม่ได้
Deterministic and non-deterministic finite automata; regular languages and regular grammars; pushdown automata and context-free grammars; Turing machines and computability; the Chomsky hierarchy; uncomputability and undecidable problems.
|
|
|